机译:使用分层模糊彩色Petri-网的起搏器功能的运行时间验证
机译:基于时间Petri网的UML2时序图的形式验证
机译:基于UML和Petri网的业务流程建模的形式化和验证
机译:从UML到Petri Nets进行非功能性属性验证
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:从UML到Petri Nets进行非功能性属性验证
机译:用整数规划验证有界petri网